- 双语例句 更多例句
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
互联网摘选
Linear strategy, semantic strategy and lock strategy for remainder method
余式方法中的线性策略以及语义策略和锁策略
互联网摘选
本文给出如下结果:语义归结和锁归结在某种条件下是相容的;
互联网摘选
- 相关词组
- combination lockn.号码锁;
- basin lock池形船闸;
- under lock and key将…加以严密保管, 把…锁住, 被囚禁;妥善存放;
- lock a file封锁文件;
- lock oneself inv.闭门谢客;
- lock block闩块;
- lock up将…锁住[关押];关禁闭;钤;关;
- lock away把…锁起来;
- grid lock网格锁定
- point lock点锁
- double leg lock[体]抱单腿拦腿摔;
- lock in将…锁[包围]在里面;使固定;
- dead lock[体]难解难分;
- lock horns卷入矛盾冲突;争论不休;
- switch lock开关锁,道岔锁闭器;
- lock out把…关在外边,不准(某人)进入…;赶出家门;
- ball lock球形闸门;
- lock into受困于;
- lock onv.用雷达自动跟踪;
- air lockn.阻隔室,气塞;锁气室;
- 今日热词
- 热门搜索
- basic adj.基础的,根本的;最初级的,起码的;
- society n.社会(共同遵守一定的习俗、法律等的特定群体);社会(以群体形式生活在一起的人的总称);学会;协会;社团
- town n.城镇,市镇;小村庄;城镇居民;商业中心;
- daisy marie 戴西·玛丽
- send v.寄,发送;传达;派遣,打发;使快速移动;使进入(某种状态);
- verb n.动词;动词结构;
- canvas n.帆布;油画(布);
- information n.消息;数据;问讯处;
- remote mouse 远程鼠标;无线鼠标
- proud adj.骄傲的;引以为荣的;自尊的;傲慢的;秀丽的;
- narrow adj.狭窄的;狭隘的;险胜的;勉强的;有限的;狭义的;v.变狭窄;缩小;
- extremely adv.极端地;非常,很;去;绝;

